2c903650371b59ca7c245040d025324b1a4e69fc,core/baseLanguage/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_InTimezone_InferenceRule.java,typeof_InTimezone_InferenceRule,applyRule,#SNode#TypeCheckingContext#,17
Before Change
{
SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(timezone, "timezone", true);
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createEquation((SNode)typeCheckingContext.typeOf(_nodeToCheck_1029348928467, "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)", "2639623922402701493", true), (SNode)new _Quotations.QuotationClass_91().createNode(typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)", "2639623922402701501", intentionProvider);
}
}
After Change
{
SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(timezone, "datetime", true);
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createLessThanInequation((SNode)typeCheckingContext.typeOf(_nodeToCheck_1029348928467, "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)", "3986031709811403927", true), (SNode)new _Quotations.QuotationClass_101().createNode(typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)", "3986031709811403925", false, 0, intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(timezone, "timezone", true);